Logic for programming and automated reasoning - 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
- Författare
- Andrei Voronkov Michel Parigot International Conference on Logic for Programming and Automated Reasoning 2000) Reunion Island :
- (Michel Parigot, Andrei Voronkov (eds.).)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2000 | Tyskland, Berlin | xiii, 487 sidor. ill. |